翻訳と辞書 Words near each other ・ Primorsko-Akhtarsky District ・ Primorskoye Urban Settlement ・ Primorsky ・ Primorsky District ・ Primorsky District, Arkhangelsk Oblast ・ Primorsky District, Saint Petersburg ・ Primorsky Krai ・ Primorsky Krai Police ・ Primorsky Partisans ・ Primorsky railway station ・ Primorsky, Primorsky Krai ・ Primorsky, Russia ・ Primitive Radio Gods ・ Primitive Reason ・ Primitive recursive arithmetic ・ Primitive recursive function ・ Primitive recursive functional ・ Primitive recursive set function ・ Primitive reflexes ・ Primitive Rhythm Machine ・ Primitive ring ・ Primitive road ・ Primitive root ・ Primitive root modulo n ・ Primitive Scottish Rite ・ Primitive skills ・ Primitive socialist accumulation ・ Primitive streak ・ Primitive ventricle ・ Primitive Wars Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Primitive recursive function ： ウィキペディア英語版 Primitive recursive function In computability theory, primitive recursive functions are a class of functions that are defined using primitive recursion and composition as central operations and are a strict subset of the total µ-recursive functions (µ-recursive functions are also called partial recursive). Primitive recursive functions form an important building block on the way to a full formalization of computability. These functions are also important in proof theory. Most of the functions normally studied in number theory are primitive recursive. For example: addition, division, factorial, exponential and the ''n''th prime are all primitive recursive. So are many approximations to real-valued functions.〔Brainerd and Landweber, 1974〕 In fact, it is difficult to devise a total recursive function that is ''not'' primitive recursive, although some are known (see the section on Limitations below). The set of primitive recursive functions is known as PR in computational complexity theory. == Definition == The primitive recursive functions are among the number-theoretic functions, which are functions from the natural numbers (nonnegative integers) to the natural numbers. These functions take ''n'' arguments for some natural number ''n'' and are called ''n''-ary. The basic primitive recursive functions are given by these axioms: #Constant function: The 0-ary constant function 0 is primitive recursive. #Successor function: The 1-ary successor function ''S'', which returns the successor of its argument (see Peano postulates), is primitive recursive. That is, ''S''(''k'') = ''k'' + 1. #Projection function: For every ''n''≥1 and each ''i'' with 1≤''i''≤''n'', the ''n''-ary projection function ''P''''i''''n'', which returns its ''i''-th argument, is primitive recursive. More complex primitive recursive functions can be obtained by applying the operations given by these axioms: #Composition: Given ''f'', a ''k''-ary primitive recursive function, and ''k'' ''m''-ary primitive recursive functions ''g''1,...,''g''''k'', the composition of ''f'' with ''g''1,...,''g''''k'', i.e. the ''m''-ary function $h(x\_1,\backslash ldots,x\_m)\; =\; f(g\_1(x\_1,\backslash ldots,x\_m),\backslash ldots,g\_k(x\_1,\backslash ldots,x\_m))\; \backslash ,$ is primitive recursive. #Primitive recursion: Given ''f'', a ''k''-ary primitive recursive function, and ''g'', a (''k''+2)-ary primitive recursive function, the (''k''+1)-ary function ''h'' is defined as the primitive recursion of ''f'' and ''g'', i.e. the function ''h'' is primitive recursive when #:$h\; (0,\; x\_1,\; \backslash ldots,\; x\_k)\; =\; f\; (x\_1,\; \backslash ldots,\; x\_k)\; \backslash ,$ and #:$h\; (S(y),\; x\_1,\; \backslash ldots,\; x\_k)\; =\; g\; (y,\; h\; (y,\; x\_1,\; \backslash ldots,\; x\_k),\; x\_1,\; \backslash ldots,\; x\_k)\; \backslash ,.$ The primitive recursive functions are the basic functions and those obtained from the basic functions by applying these operations a finite number of times. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Primitive recursive function」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.